- 二元判定图
- 双择判定图
- binary: adj. 二，双，复；【化学】二元的；【数学】二进制的。 ...
- decision: n. 1.决定。 2.判决。 3.决议。 4.决心；决断 ...
- diagram: n. 图，图形，图解；【数学】作图。 a diagram ...
- binary decision diagram (bdd): 二元判定图
- binary decision: 二元判定, 双值决策; 双择判决
下载手机词典可随时随地查词查翻译
binary decision diagram中文什么意思
- 二元判定图
- 双择判定图
下载手机词典可随时随地查词查翻译
例句与用法
- 更多例句： 下一页
- A new binary decision diagram device and circuit
一种新型二元判定图器件和电路 - The study of ordered binary decision diagram and its constructing arithmetic
有序二叉判定图及其构造算法研究 - Binary decision diagram minimization algorithm based on genetic tabu hybrid strategy
基于遗传禁忌混合策略的二叉判定图最小化算法研究 - 1996 , 143 : 205 - 212 . 5 purwar s . an efficient method of computing generalized reed - muller expansions from binary decision diagram . in ieee trans
本文提出了将逻辑函数表示成真值矢量,用提出的积收缩,通用和收缩,消去和分解算符来收缩真值矢量的算法。 - 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。
百科释义
In the field of computer science, a binary decision diagram (BDD) or branching program, like a negation normal form (NNF) or a propositional directed acyclic graph (PDAG), is a data structure that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed representation of sets or relations.
详细百科解释